Various improvements in build script #5778
Conversation
This allows also conditional build of arduino-builder. See arduino#5438
|
✅ Build completed. Please test this code using one of the following: ⬇️ http://downloads.arduino.cc/javaide/pull_requests/arduino-PR-5778-BUILD-629-linux32.tar.xz ℹ️ The |
|
The IDE also should be tolerant of a missing tools-builder folder: Any chance to see a better fix? |
How can I reproduce that? |
|
you need to delete the described folder (or better move it somewhere else) and change platform.txt to point to the new loation. make sure your .arduino15 folder does not exist, otherwise the bug is not triggered (as it is not for me) |
|
It seems the builder that requires (at least) one |
|
Fixes seem to be applied properly. Thanks a lot! The only thing left for packaging arduino securely now are the gpg signatures: You can use my gpgit script which is straight forward and super easy with github: |
This PR contains the following fixes:
package_index_bundled.jsonlibrariesfolder or missingsketchbook/librariresarduino-builder-buildhas been factored out, so it's now more maintainable (one task for all architectures) and allow conditional build through env variable. This is based on @NicoHood's commit f29abf8This should supersede and fix #5438
/cc @NicoHood